prior probability distribution